split_table = {
[3] = true,
[111] = true,
[111111] = true,
[11211] = true,
[1221] = true,
[222] = true,
[1113] = true,
[3111] = true,
[33] = true,
[114] = true,
[141] = true,
[411] = true,
[111111111] = true,
[11111211] = true,
[11211111] = true,
[1111221] = true,
[1121211] = true,
[1221111] = true,
[111222] = true,
[112221] = true,
[122211] = true,
[222111] = true,
[1111113] = true,
[1113111] = true,
[3111111] = true,
[112113] = true,
[311211] = true,
[11322] = true,
[12213] = true,
[12321] = true,
[22311] = true,
[31221] = true,
[2223] = true,
[3222] = true,
[11133] = true,
[31113] = true,
[33111] = true,
[1332] = true,
[2331] = true,
[333] = true,
[111114] = true,
[111141] = true,
[111411] = true,
[114111] = true,
[141111] = true,
[411111] = true,
[11214] = true,
[11241] = true,
[14211] = true,
[41211] = true,
[1224] = true,
[4221] = true,
[1143] = true,
[1413] = true,
[3114] = true,
[3141] = true,
[3411] = true,
[4113] = true,
[144] = true,
[414] = true,
[441] = true,
[111111222] = true,
[111112221] = true,
[111122211] = true,
[111222111] = true,
[112111221] = true,
[112121211] = true,
[112221111] = true,
[122111211] = true,
[122211111] = true,
[222111111] = true,
[11211222] = true,
[11212221] = true,
[11222211] = true,
[12211221] = true,
[12221211] = true,
[22211211] = true,
[1221222] = true,
[1222221] = true,
[2221221] = true,
[222222] = true,
[111112113] = true,
[111311211] = true,
[112111113] = true,
[112113111] = true,
[311111211] = true,
[311211111] = true,
[11111322] = true,
[11112213] = true,
[11112321] = true,
[11122311] = true,
[11131221] = true,
[11212113] = true,
[11322111] = true,
[12211113] = true,
[12213111] = true,
[12321111] = true,
[22311111] = true,
[31111221] = true,
[31121211] = true,
[31221111] = true,
[1112223] = true,
[1113222] = true,
[1121322] = true,
[1122213] = true,
[1122321] = true,
[1222113] = true,
[1232211] = true,
[2221113] = true,
[2223111] = true,
[2231211] = true,
[3111222] = true,
[3112221] = true,
[3122211] = true,
[3222111] = true,
[122322] = true,
[223221] = true,
[11111133] = true,
[11131113] = true,
[11133111] = true,
[31111113] = true,
[31113111] = true,
[33111111] = true,
[112332] = true,
[113223] = true,
[122133] = true,
[123213] = true,
[123321] = true,
[223113] = true,
[233211] = true,
[311322] = true,
[312213] = true,
[312321] = true,
[322311] = true,
[331221] = true,
[22233] = true,
[32223] = true,
[33222] = true,
[111333] = true,
[113331] = true,
[133311] = true,
[311133] = true,
[331113] = true,
[333111] = true,
[13323] = true,
[23313] = true,
[31332] = true,
[32331] = true,
[3333] = true,
[111111114] = true,
[111111141] = true,
[111111411] = true,
[111114111] = true,
[111141111] = true,
[111411111] = true,
[114111111] = true,
[141111111] = true,
[411111111] = true,
[11111214] = true,
[11111241] = true,
[11114211] = true,
[11141211] = true,
[11211114] = true,
[11211141] = true,
[11211411] = true,
[11214111] = true,
[11241111] = true,
[11411211] = true,
[14111211] = true,
[14211111] = true,
[41111211] = true,
[41211111] = true,
[1111224] = true,
[1114221] = true,
[1121214] = true,
[1121241] = true,
[1124211] = true,
[1141221] = true,
[1221114] = true,
[1221141] = true,
[1221411] = true,
[1224111] = true,
[1411221] = true,
[1421211] = true,
[4111221] = true,
[4121211] = true,
[4221111] = true,
[112224] = true,
[114222] = true,
[122214] = true,
[122241] = true,
[141222] = true,
[142221] = true,
[222114] = true,
[222141] = true,
[222411] = true,
[411222] = true,
[412221] = true,
[422211] = true,
[22422] = true,
[1111143] = true,
[1111413] = true,
[1113114] = true,
[1113141] = true,
[1113411] = true,
[1114113] = true,
[1141113] = true,
[1143111] = true,
[1411113] = true,
[1413111] = true,
[3111114] = true,
[3111141] = true,
[3111411] = true,
[3114111] = true,
[3141111] = true,
[3411111] = true,
[4111113] = true,
[4113111] = true,
[112143] = true,
[112413] = true,
[142113] = true,
[311214] = true,
[311241] = true,
[314211] = true,
[341211] = true,
[412113] = true,
[12243] = true,
[12324] = true,
[12432] = true,
[14322] = true,
[22314] = true,
[22341] = true,
[23421] = true,
[31224] = true,
[34221] = true,
[41322] = true,
[42213] = true,
[42321] = true,
[2334] = true,
[4332] = true,
[11433] = true,
[13431] = true,
[14133] = true,
[31143] = true,
[31413] = true,
[33114] = true,
[33141] = true,
[33411] = true,
[34113] = true,
[41133] = true,
[1443] = true,
[3144] = true,
[3414] = true,
[3441] = true,
[4143] = true,
[4413] = true,
[11244] = true,
[14214] = true,
[14241] = true,
[41214] = true,
[41241] = true,
[44211] = true,
[2442] = true,
[4224] = true,
[111144] = true,
[111414] = true,
[111441] = true,
[114114] = true,
[114141] = true,
[114411] = true,
[141114] = true,
[141141] = true,
[141411] = true,
[144111] = true,
[411114] = true,
[411141] = true,
[411411] = true,
[414111] = true,
[441111] = true,
[444] = true,
}
